[IA64] Supress warning of __assign_domain_page().
authorAlex Williamson <alex.williamson@hp.com>
Thu, 6 Sep 2007 15:05:26 +0000 (09:05 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Thu, 6 Sep 2007 15:05:26 +0000 (09:05 -0600)
commit0f227f8c82d1d7818f227724806bf5f309beb636
tree69d499b4fc732e4d414cef7633c54ba8781f5a26
parentd29ca8d252f1e6d3c11c8ac7f7b07ea2dcf20ac6
[IA64] Supress warning of __assign_domain_page().

On Tiger, the following memory region triggers a warning.
It seems a false-positive warning caused by c/s 13123:90db0f68b121.
so suppress the warning in such a case.

EFI memory descriptor
(XEN) mem07: type= 5, attr=0x8000000000000009, range=[0x00000000000c0000-0x0000000000100000) (0MB)
type = EFI_RUNTIME_SERVICES_CODE
attribute = EFI_MEMORY_RUNTIME | EFI_MEMORY_WB | EFI_MEMORY_UC

from /proc/iomem
000a0000-000fffff : PCI Bus 0000:00
000c0000-000fffff : reserved

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
Acked-by: Simon Horman <horms@verge.net.au>
xen/arch/ia64/xen/mm.c